External Behavior of a Logic Program and Verification of Refactoring

Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that refactoring a program in that language is performed correctly

External Behavior of a Logic Program and Verification of Refactoring

Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that refactoring a program in that language is performed correctly.Comment: Accepted to Theory and Practice of Logic Programming (ICLP 2023

Toward a user-centered design of a weather forecasting decision-support tool

Hazard Services is a software toolkit that integrates information management, hazard alerting, and communication functions into a single user interface. When complete, National Weather Service forecasters across the United States will use Hazard Services for operational issuance of weather and hydrologic alerts, making the system an instrumental part of the threat management process. As a new decision-support tool, incorporating an understanding of user requirements and behavior is an important part of building a system that is usable, allowing users to perform work-related tasks efficiently and effectively. This paper discusses the Hazard Services system and findings from a usability evaluation with a sample of end users. Usability evaluations are frequently used to support software and website development and can provide feedback on a system’s efficiency of use, effectiveness, and learnability. In the present study, a user-testing evaluation assessed task performance in terms of error rates, error types, response time, and subjective feedback from a questionnaire. A series of design recommendations was developed based on the evaluation’s findings. The recommendations not only further the design of Hazard Services, but they may also inform the designs of other decision-support tools used in weather and hydrologic forecasting. Incorporating usability evaluation into the iterative design of decision-support tools, such as Hazard Services, can improve system efficiency, effectiveness, and user experience

Atmospheric neutron measurements with the SONTRAC science model

–The SOlar Neutron TRACking (SONTRAC) telescope was originally developed to measure the energy spectrum and incident direction of neutrons produced in solar flares, in the energy range 20 - 250 MeV. While developed primarily for solar physics, the SONTRAC detector may be employed in virtually any application requiring both energy measurement and imaging capabilities. The SONTRAC Science Model (SM) is presently being operated at the University of New Hampshire (UNH) as a ground-based instrument to investigate the energy spectrum, zenith and azimuth angle dependence of the cosmic-ray induced sea-level atmospheric neutron flux. SONTRAC measurements are based on the non-relativistic double scatter of neutrons off ambient protons within a block of scintillating fibers. Using the n-p elastic double-scatter technique, it is possible to uniquely determine the neutron’s energy and direction on an event-by-event basis. The 3D SM consists of a cube of orthogonal plastic scintillating fiber layers with 5 cm sides, read out by two CCD cameras. Two orthogonal imaging chains allow full 3D reconstruction of scattered proton tracks

Correlated two-particle diffusion in dense colloidal suspensions at early times: Theory and comparison to experiment

The spatially resolved diffusive dynamic cross correlations of a pair of colloids in dense quasi-two-dimensional monolayers of identical particles are studied experimentally and theoretically at early times where motion is Fickian. In very dense systems where strong oscillatory equilibrium packing correlations are present, we find an exponential decay of the dynamic cross correlations on small and intermediate length scales. At large separations where structure becomes random, an apparent power law decay with an exponent of approximately -2.2 is observed. For a moderately dense suspension where local structural correlations are essentially absent, this same apparent power law decay is observed over all probed interparticle separations. A microscopic nonhydrodynamic theory is constructed for the dynamic cross correlations which is based on interparticle frictional effects and effective structural forces. Hydrodynamics enters only via setting the very short-time single-particle self-diffusion constant. No-adjustable-parameter quantitative predictions of the theory for the dynamic cross correlations are in good agreement with experiment over all length scales. The origin of the long-range apparent power law is the influence of the constraint of fixed interparticle separation on the amplitude of the mean square force exerted on the two tagged particles by the surrounding fluid. The theory is extended to study high-packing-fraction 3D hard sphere fluids. The same pattern of an oscillatory exponential form of the dynamic cross correlation function is predicted in the structural regime, but the long-range tail decays faster than in monolayers with an exponent of -3open

Identifying and addressing barriers to treatment for child sexual abuse survivors and their non-offending caregivers

Mental health treatment is a critical part of an effective and compassionate response to the disclosure of child sexual abuse (CSA). Given the vast negative consequences for children and families following CSA, engagement in treatment can benefit youth and their non-offending caregivers. Yet, these families face unique barriers to treatment initiation, adherence, and effectiveness. The identification of these barriers allows clinicians, researchers, and policy makers to increase treatment utilization, engagement, and value. The current review and its recommendations derive from the existing literature combined with knowledge gained from a clinical research team with more than 20 years of experience offering a treatment program for CSA survivors and their non-offending family members. The review organizes barriers around factors related to individual characteristics of children and caregivers, perceptions and beliefs commonly held following CSA, and challenging family interactions in the context of individual and group treatment for CSA. Finally, barriers related to systemic and societal factors are examined given the importance of understanding the legal and cultural context in which families seek and engage in treatment. Recommendations for further research, suggestions for clinicians, and considerations for policy change to decrease the identified treatment barriers for families impacted by CSA are provided

Strange Meson Enhancement in PbPb Collisions

The NA44 Collaboration has measured yields and differential distributions of K+, K-, pi+, pi- in transverse kinetic energy and rapidity, around the center-of-mass rapidity in 158 A GeV/c Pb+Pb collisions at the CERN SPS. A considerable enhancement of K+ production per pi is observed, as compared to p+p collisions at this energy. To illustrate the importance of secondary hadron rescattering as an enhancement mechanism, we compare strangeness production at the SPS and AGS with predictions of the transport model RQMD.Comment: 11 pages, including 4 figures, LATE